Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Libro	A discipline of programming	Dijkstra, Edsger W.	(c1976)	Domicilio	----------
Artículo	A two-level formal semantics for the QVT language :	Giandini, Roxana Silvia	(2009)		----------
Libro	A view of programming languages	Galler, B. A.	(c1970)		----------
Libro	Action semantics:	Mosses, Peter D.	1st ed.   (c1992)	Domicilio	----------
Libro	Ada for programmers:	Olsen, Eric W.	1ra. ed.   (1983)	Domicilio	----------
Libro	Advanced programming language design	Finkel, Raphael A.	(c1996)	Domicilio	----------
Libro	Advanced topics in types and programming languages:	Sin autor	(2005)	Domicilio	----------
Libro	Algoritmos en C++	Sedgewick, Robert	1a ed.   (1995)	Domicilio	----------
Libro	Algoritmos, datos y programas: conceptos básicos	De Giusti, Armando Eduardo	1a ed.   (1998)	Sala	----------
Libro	Algoritmos, datos y programas: con aplicaciones en Pascal, Delphi y Visual Da Vinci	De Giusti, Armando Eduardo	1a ed.   (2001)	Domicilio Sala